Conversation
c9fe1a3 to
3b17e39
Compare
c4e7b75 to
6a6d06a
Compare
887c7df to
82a8ef5
Compare
6cc1055 to
6be3705
Compare
074ddf4 to
33ce2a2
Compare
88d7ec1 to
84d2f1d
Compare
ceaf377 to
1c6435b
Compare
dfba742 to
36bcc86
Compare
7b220c3 to
0c5e9b3
Compare
60a927f to
c07368a
Compare
3c5d883 to
962f921
Compare
07562d7 to
2e509b7
Compare
d80a73f to
9f61dd8
Compare
2e509b7 to
983ebe2
Compare
9f61dd8 to
709fb57
Compare
983ebe2 to
516045d
Compare
709fb57 to
d995f40
Compare
516045d to
e71eb95
Compare
d995f40 to
a977bf0
Compare
3abd5af to
896bbe4
Compare
a977bf0 to
49c3931
Compare
896bbe4 to
c9f226b
Compare
2f3d43e to
156ff94
Compare
bdcc34e to
0979cba
Compare
beadd68 to
156ff94
Compare
10712aa to
8c8fad8
Compare
dcd23ec to
1454723
Compare
19e052b to
8e36dcb
Compare
4e94adb to
9f04db7
Compare
4e411b2 to
d3976ea
Compare
46b65bb to
d16ff17
Compare
0a744f1 to
376e937
Compare
58fdd7c to
f440866
Compare
376e937 to
a84251c
Compare
f440866 to
a8048b9
Compare
3f931dc to
f456415
Compare
8873411 to
f6768a2
Compare
f456415 to
41f18a8
Compare
f6768a2 to
e086762
Compare
41f18a8 to
43fd688
Compare
pokey
commented
Oct 25, 2023
| ide().onDidChangeTextDocument(this.debouncer.run), | ||
| ide().onDidChangeTextEditorVisibleRanges(this.debouncer.run), | ||
| languageDefinitions.onDidChangeDefinition(this.debouncer.run), | ||
| languageDefinitions.onDidChangeDefinition(this.onChange), |
Member
Author
There was a problem hiding this comment.
this makes our scope visualizer auto-update faster during development
Member
Author
|
Ok @AndreasArvidsson this one is ready too; let's wait to merge because it depends on #1940 |
pokey
commented
Oct 26, 2023
AndreasArvidsson
approved these changes
Oct 28, 2023
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Checklist